Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·2d
✓Automated Theorem Proving
The Great Refactor
ifp.org·7h·
Discuss: Hacker News
🔬Static Analysis
The Rise of Remote Agentic Environments
thenewstack.io·2h
🧱Immutable Infrastructure
Structured (Synchronous) Concurrency
fsantanna.github.io·1d·
Discuss: Lobsters, Hacker News
🔬Static Analysis
Peeking Under the Hood of Claude Code
medium.com·3h·
Discuss: Hacker News
🛡️seL4
Building a Regex Engine
abstractsyntaxseed.com·6h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
how to resolve a halting paradox
academia.edu·18h·
Discuss: r/programming
🔄Finite State Machines
Lisp in 99 Lines of C With TinyLisp
hackaday.com·16h
⚙️PL Implementation
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·4h·
Discuss: Lobsters, Hacker News
🐫OCaml
Simpler Category Theory
ryanbrewer.dev·5h·
Discuss: Hacker News
➡️Category Theory
Working with Asynchronous Coding Agents
elite-ai-assisted-coding.dev·1d·
Discuss: Hacker News
👁️System Observability
Carter2099/dsa.rb: A CLI test suite for implementations of core Ruby algorithms
github.com·7h·
Discuss: Hacker News
🧪Property-Based Testing
Programmable Anyon Mobility through Higher Order Cellular Automata
arxiv.org·14h
🐫OCaml
How to model the world? Introduction to Laplace Neuron
abibulic.github.io·1d·
Discuss: Hacker News, Hacker News
🏹Effect Systems
Overview of Complex System Design
arxiv.org·2d
📡Network Protocol Design
flow-run: LLM Orchestration, Prompt Testing & Cost Monitoring
vitaliihonchar.com·1d·
Discuss: r/golang, r/programming
🔄Reproducible Builds
Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection
cekrem.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming, r/webdev
🔍Formal Verification
Code Vulnerability Detection Across Different Programming Languages with AI Models
arxiv.org·1d
🔬Static Analysis
A Magnetized Needle and a Steady Hand (2016)
nullprogram.com·8h·
Discuss: Hacker News
🐫Embedded OCaml
Complete Dynamic Logic of Communicating Hybrid Programs
arxiv.org·1d
✓Automated Theorem Proving